Nuprl Definition : less def 13,42
if a<b then c else d is Primitive 
latex

Upcore 1, core 1

origin